-
1 set of rational numbers
English-Russian scientific dictionary > set of rational numbers
-
2 set of rational numbers
Математика: множество рациональных чиселУниверсальный англо-русский словарь > set of rational numbers
-
3 constraint logic programming
= CLP Iразновидность программирования в ограничениях ( constraint programming) и логического программирования, где машина логического вывода дополнена средствами разрешения ограничений, благодаря чему значительно уменьшается пространство поиска и ускоряется решение определённых классов задач, особенно задач планирования, маршрутизации, распределения и т. п. Например, множество ограничений типа x100, y40 позволит исключить из рассмотрения все значения, не удовлетворяющие этому требованию, при поиске решения для выражения КратчайшееРасстояние(x,y). Существует много экспериментальных и коммерческих языков CLP, например CHIP и Eclipse, созданы средства (устройства, машины) разрешения ограничений для ряда предметных областей - это арифметики целых, действительных, линейных рациональных чисел, булева арифметика и сравнение строк.Syn:см. тж. constraint solver, programmingАнгло-русский толковый словарь терминов и сокращений по ВТ, Интернету и программированию. > constraint logic programming
См. также в других словарях:
ЧИСЕЛ ТЕОРИЯ — раздел чистой математики, занимающийся изучением целых чисел 0, ±1, ±2,... и соотношений между ними. Иногда теорию чисел называют высшей арифметикой. Отдельные вычисления, производимые над конкретными числами, например, 9 + 16 = 25, не… … Энциклопедия Кольера
Непрерывность множества действительных чисел — Непрерывность действительных чисел свойство системы действительных чисел , которым не обладает множество рациональных чисел . Иногда вместо непрерывности говорят о полноте системы действительных чисел[1]. Существует несколько различных… … Википедия
Арифметическое множество — В теории множеств и математической логике, множество натуральных чисел называется арифметическим, если оно может быть определено формулой в языке арифметики первого порядка, то есть если существует такая формула с одной свободной переменной что… … Википедия
Перечислимое множество — Не следует путать с счётным множеством. В теории множеств, теории алгоритмов и математической логике, перечислимое множество (эффективно перечислимое, рекурсивно перечислимое, полуразрешимое множество[1]) множество конструктивных объектов… … Википедия
Бесконечное множество — множество, не являющееся конечным. Можно дать ещё несколько эквивалентных определений бесконечного множества: Множество, в котором для любого натурального числа найдётся конечное подмножество из элементов. Множество, в котором найдётся счётное… … Википедия
Несчетное множество — В теории множеств счётное множество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами. Более формально: множество X является счётным, если существует биекция , где обозначает множество всех натуральных… … Википедия
Несчётное множество — В теории множеств счётное множество есть бесконечное множество, элементы которого возможно пронумеровать натуральными числами. Более формально: множество X является счётным, если существует биекция , где обозначает множество всех натуральных… … Википедия
Разрешимое множество — В теории множеств, теории алгоритмов и математической логике, множество натуральных чисел называется разрешимым или рекурсивным, если существует алгоритм, который, получив на вход любое натуральное число, через конечное число шагов завершается и… … Википедия
Производное множество — Предельная точка множества в общей топологии это такая точка, любая проколотая окрестность которой пересекается с этим множеством. Содержание 1 Определение 2 Связанные понятия 3 Свойства … Википедия
Всюду плотное множество — Плотное множество подмножество, точками которого можно приблизить любую точку объемлющего пространства. Содержание 1 Определения 2 Замечание 3 Примеры 4 См. также … Википедия
Плотное множество — подмножество пространства, точками которого можно сколь угодно хорошо приблизить любую точку объемлющего пространства. Формально говоря, A плотно в X, если всякая окрестность любой точки x из X содержит элемент A. Содержание 1 Определения 2… … Википедия